Paracomplete logic